# include <stdio.h>
# include <stdlib.h>
# include </home/akshay/anf-cnf/xor.h>
# include </home/akshay/anf-cnf/subsitution.h>



// Developed by Akshay Gupta at IIIT-Delhi India.



void main()
{
	char ans='y';
	char str[10];
	while((ans=='y')|(ans=='Y'))
	{	
		printf("Choose from given menu\n");
		
		printf("For converting from anf to cnf enter: 1\n");
		printf("For converting from cnf to anf enter: 2\n");
		
		scanf("%s",str);
		int choice=atoi(str);
		switch(choice)
		{
			
			case 1:{
				char str2[100]="demo.txt";
				printf("Enter input file address\n");
				scanf("%s",str2);
				sub(str2);
				xor();
				counteq();
				break;
				}
			case 2:{printf("cnf-anf convertor is work under progress.\n");break;}
		}
		printf("Do you want to repeat(y/n)");
		scanf("%s",str);
		ans=str[0];
		
		
	}
}
